Constraint algorithm - PDFSEARCH.IO - Document Search Engine

Constraint algorithm
Results: 320

#	Item
131	A Tight Combinatorial Algorithm for Submodular Maximization Subject to a Matroid Constraint Yuval Filmus Department of Computer Science University of Toronto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2012-08-16 03:01:30 Matroid Randomized rounding Auxiliary function Euclidean algorithm Dominating set Mathematics Submodular set function Matroid theory
132	Maximum Coverage over a Matroid Constraint Yuval Filmus Justin Ward University of Toronto STACS 2012, Paris Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2012-03-02 17:46:41 Discrete mathematics Matroid Submodular set function Greedy algorithm Greedoid Weighted matroid Matroid theory Mathematics Combinatorics
133	Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:00:24 Type theory Formal methods Type systems Constraint programming Satisfiability Modulo Theories Type inference Logic programming Hindley–Milner Algorithm Mathematics Theoretical computer science Applied mathematics
134	Neighborhood Portfolio Approach for Local Search applied to Timetabling Problems∗ Luca Di Gaspero and Andrea Schaerf , Dipartimento di Ingegneria Elettrica, Gestionale e Meccanica U Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:16 Mathematics Constraint programming Mathematical optimization Local search Algorithm Tabu search Constraint satisfaction problem Search algorithm Simulated annealing Operations research Applied mathematics Numerical analysis
135	A Survey of Automated Timetabling A. Schaerf Dipartimento di Informatica e Sistemistica Universit` a di Roma “La Sapienza” Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:16 Mathematical optimization Operations research Search algorithms Complexity classes Combinatorial optimization Genetic algorithm Optimization problem Constraint satisfaction NP-complete Theoretical computer science Applied mathematics Computational complexity theory
136	IEEE TRANSACTIONS ON SYSTEMS, MAN AND CYBERNETICS 1 Local Search Techniques for Large High-School Timetabling Problems Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:15 Search algorithms Constraint programming Operations research Heuristics Local search Genetic algorithm Tabu search Simulated annealing Hill climbing Mathematics Numerical analysis Mathematical optimization
137	Representations in Constraint Programming Christopher Jefferson This thesis is submitted in partial fulfilment of the Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2009-09-24 07:14:55 Algorithm Representation theory Artificial intelligence Constraint programming Computing Constraint satisfaction
138	Low-Knowledge Algorithm Control∗ Tom Carchrae and J. Christopher Beck Cork Constraint Computation Center University College Cork, Ireland {t.carchrae, c.beck}@4c.ucc.ie Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Cybernetics Theoretical computer science Mathematical optimization Algorithm Mathematical logic Reinforcement learning Computational complexity theory Genetic algorithm Supervised learning Machine learning Applied mathematics Mathematics
139	A Family of MCMC Methods on Implicitly Defined Manifolds Marcus A Brubaker∗,† Mathieu Salzmann† University of Toronto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-08-28 17:44:52 Markov models Classical mechanics Symplectic integrator Geodesic Markov chain Constraint algorithm Hamiltonian Physics Hamiltonian mechanics Symplectic geometry
140	Simple Rules for Low-Knowledge Algorithm Selection? J. Christopher Beck and Eugene C. Freuder Cork Constraint Computation Centre, Department of Computer Science, University College Cork, Cork, Ireland {c.beck,e.freuder}@ Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Theoretical computer science Operations research Algorithm Mathematical logic Genetic algorithm Computational complexity theory Online algorithm Travelling salesman problem Ant colony optimization algorithms Mathematics Applied mathematics Mathematical optimization

UPDATE